Search Results
[POPL'23] An Order-Theoretic Analysis of Universe Polymorphism
[Session Previews @ POPL'23] Type Theory
[POPL'23] Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in C...
An Evening with Richard Dawkins: In Conversation with Nick Rawlins (7 March 2023)
Kevlin Henney - Full Stack Development
The Collapse of 23andMe (Genetic Testing, Explained)
Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
#16 - Slow-Wave Electromagnetic Mind: thinking in neural rhythms
Small Proofs from Congruence Closure - FMCAD 2022
How C++23 Changes the Way We Write Code - Timur Doumler - CppCon 2022
15 Patrick Turley, Polygenic Indexes PART 1
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
![[POPL'23] Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in C...](https://img.youtube.com/vi/Zt3THGB-egQ/hqdefault.jpg)
![[POPL'23] An Order-Theoretic Analysis of Universe Polymorphism](https://img.youtube.com/vi/bp4yvTRM3DQ/hqdefault.jpg)
![[Session Previews @ POPL'23] Type Theory](https://img.youtube.com/vi/6ozl9WheSws/hqdefault.jpg)
